MODUL REAKCIJE TLA ZA PRORAČUN HORIZONTALNO OPTEREĆENOG ŠIPA
نویسندگان
چکیده
منابع مشابه
Tla in Pictures Tla in Pictures
The charter of SRC is to advance both the state of knowledge and the state of the art in computer systems. From our establishment in 1984, we h a v e performed basic and applied research to support Digital's business objectives. Our current w ork includes exploring distributed personal computing on multiple platforms, networking, programming technology, system modelling and management technique...
متن کاملOn TLA
We describe the Temporal Logic of Actions (TLA) from a logical perspective. After giving the syntax and semantics of TLA, we discuss some methods for representing reactive systems in TLA and study veriication rules. 1 The L in TLA The Temporal Logic of Actions (TLA) is a variant of temporal logic, designed for the speciication and veriication of reactive systems in terms of their actions. In th...
متن کاملRefinement Types for tla +
TLA is a specification language, mainly intended for concurrent and distributed systems. Its non-temporal fragment is based on a variant of (untyped) ZF set theory. Motivated by the integration of the TLA Proof System with SMT solvers or similar tools based on multi-sorted first-order logic, we define a type system for TLA and we prove its soundness. The system includes refinement types, which ...
متن کاملTLA + Proofs
TLA is a specification language based on standard set theory and temporal logic that has constructs for hierarchical proofs. We describe how to write TLA proofs and check them with TLAPS, the TLA Proof System. We use Peterson’s mutual exclusion algorithm as a simple example to describe the features of TLAPS and show how it and the Toolbox (an IDE for TLA) help users to manage large, complex pro...
متن کاملSimplified Sele for Protection Modul
This paper presents a modif Selective Fault Tolerance method, substantial area reduction over the stat technique is proved to achieve substant and better reliability results when appl with the so-called SAM method for relia The simulation results show that improvement of up to over 20% in terms overhead, compared with the state of the to a classic TMR we obtain improveme with a mean improvement...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Zbornik radova Građevinskog fakulteta
سال: 2014
ISSN: 0352-6852,2334-9573
DOI: 10.14415/konferencijagfs2014.125